<?php

class OpcionPeer extends BaseOpcionPeer
{
}
